Bad Variables Under Control
نویسنده
چکیده
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-variable constructor mkvar to obtain full abstraction. Using the model we show that, unlike in the “control-free” case, the presence of mkvar does affect observational equivalence. We conclude by discussing the effect of mkvar on nondeterministic and probabilistic variants of Idealized Algol.
منابع مشابه
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
We introduce MEMORAX, a tool for the verification of control state reachability (i.e., safety properties) of concurrent programs manipulating finite range and integer variables and running on top of weak memory models. The verification task is non-trivial as it involves exploring state spaces of arbitrary or even infinite sizes. Even for programs that only manipulate finite range variables, the...
متن کاملFurther Steps towards Driver Modeling According to the Bayesian Programming Approach
The Human Centered Design (HCD) of Partial Autonomous Driver Assistance Systems (PADAS) requires Digital Human Models (DHMs) of human control strategies for simulating traffic scenarios. We describe first results to model lateral and longitudinal control behavior of drivers with simple dynamic Bayesian sensory-motor models according to the Bayesian Programming (BP) approach: Bayesian Autonomous...
متن کاملDreaming in Patients with Temporal Lobe Epilepsy: A Focus on Bad Dreams and Nightmares
Nightmares and bad dreams occur more frequently in patients with temporal lobe epilepsy (TLE) than in normal individuals. This quantitative pilot study explored the relationship between seizure activity and dreaming in patients with TLE, compared to the dreams, bad dreams and nightmares of a control population. Groups were categorized by epilepsy variables (TLE and non-TLE) and gender. Patients...
متن کاملThe effectiveness of logotherapy on the wisdom and resilience of Escapee and Bad Caregivers’ Girls under the State Welfare Organization Care
The aim of this study was to investigate logotherapy on the resilience and wisdom of escapee and bad caregivers’ girls under the state welfare organization care. the research method was a quasi-experimental pretest-posttest with a control group. the statistical population of the study included all runaway or abused girls of the welfare organization in care centers in Tehran in the first half of...
متن کاملHomogeneous expression of the P(BAD) promoter in Escherichia coli by constitutive expression of the low-affinity high-capacity AraE transporter.
Genes placed under the control of the arabinose-inducible araBAD promoter (P(BAD)) of Escherichia coli are expressed in an all-or-none fashion, in which the percentage of induced cells in the population, rather than the degree of induction in individual cells, varies with the concentration of arabinose in the culture medium. Previous work showed that all-or-none gene expression from P(BAD) was ...
متن کامل